Correspondence functors and finiteness conditions
نویسندگان
چکیده
منابع مشابه
Correspondence Functors and Finiteness Conditions
We investigate the representation theory of finite sets. The correspondence functors are the functors from the category of finite sets and correspondences to the category of k-modules, where k is a commutative ring. They have various specific properties which do not hold for other types of functors. In particular, if k is a field and if F is a correspondence functor, then F is finitely generate...
متن کاملFiniteness Conditions for Strictness Analysis
We give upper bounds on the number of times the fixed point operator needs to be unfolded for strictness analysis of functional languages with lists. This extends previous work both in the syntax-directed nature of the approach and in the ability to deal with Wadler’s method for analysing lists. Limitations of the method are indicated.
متن کاملHopf algebras under finiteness conditions
This is a brief survey of some recent developments in the study of infinite dimensional Hopf algebras which are either noetherian or have finite Gelfand-Kirillov dimension. A number of open questions are listed.
متن کاملReportrapport Generalizing Finiteness Conditions of Labelled Transition Systems Generalizing Finiteness Conditions of Labelled Transition Systems
A labelled transition system is provided with some additional structure by endowing the conngurations and the labels with a complete metric. In this way, a so-called metric labelled transition system is obtained. The additional structure on a metric labelled transition system makes it possible to generalize the niteness conditions nitely branching and image nite to compactly branching and image...
متن کاملCompatibility of the Theta correspondence with the Whittaker functors
We prove in this note that the global geometric theta lifting for the pair (H,G) is compatible with the Whittaker normalization, where (H,G) = (SO2n, Sp2n), (Sp2n, SO2n+2), or (GLn, GLn+1). More precisely, let k be an algebraically closed field of characteristic p > 2. Let X be a smooth projective connected curve over k. For a stack S write D(S) for the derived category of étale constructible Q̄...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 2018
ISSN: 0021-8693
DOI: 10.1016/j.jalgebra.2017.11.010